#include "client_backend.h"

#ifndef _client_frontend_h
#define _client_frontend_h

/* displays the interactive front-end */
void frontend(formulaT * formula);

/* print operation requested and answer received */
void print_answer(formulaT * formula);

#endif
